Characterizations of Total Dual Integrality
نویسندگان
چکیده
In this paper we provide new characterizing properties of TDI systems, among others the following: A system of linear inequalities is TDI if and only if there exists a test set for its dual integer linear programs where all positive coordinates are equal to 1, and correspond to a set of linearly independent columns. Cook, Lovász and Schrijver’s result on the recognition – in polynomial time – of TDI systems of inequalities in fixed dimension can be simply deduced from this result, while the problem remains open in general. Another corollary is Sturmfels’ theorem relating toric initial ideals generated by square-free monomials to unimodular triangulations. A reformulation of these test-sets to polynomial ideals actually generalizes the existence of square-free monomials to arbitrary TDI systems, providing new relations between integer programming and Gröbner bases of toric ideals. We finally show that stable set polytopes of perfect graphs are characterized by a refined fan that is a triangulation consisting only of unimodular cones, a fact that endows the Weak Perfect Graph Theorem with a computationally advantageous geometric feature. Three ways of implementing the results are described and some experience about one of these is reported.
منابع مشابه
Total Dual Integrality in Some Facility Location Problems
Facility location, arising in a rich variety of applications, has been studied extensively in the fields of operations research and computer science. In this note we consider the classical uncapacitated facility location problem and its “prize-collecting” variant introduced by Bäıou and Barahona, and show that the linear systems associated with these problems are totally dual integral (TDI) if ...
متن کاملTitle Total Dual Integrality in Some Facility Location Problems
Facility location, arising in a rich variety of applications, has been studied extensively in the fields of operations research and computer science. In this paper we consider the classical uncapacitated facility location problem and its “prize-collecting” variant introduced by Bäıou and Barahona, and we show that the linear systems associated with these problems are totally dual integral if an...
متن کاملAlternatives for testing total dual integrality
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system’s dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and int...
متن کاملRecognizing Totally Dual Integral Systems is Hard
These are notes about Ding, Feng and Zang’s proof [5]. The proof of their result is not new, the only difference with them is the starting point: we work directly on their gadget graph encoding a SAT problem and not on more general graphs. This allows to shortcut some parts of the original proof that become superfluous. After proving their theorem I clarify some points about total dual integral...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007